Edmund Mervyn Rosser

Desmond Mervyn Germans

Church-Rosser Made Easy

The Church–Rosser theorem states that the λ-calculus is confluent under αand β-reductions. The standard proof of this result is due to Tait and Martin-Löf. In this note, we present an alternative proof based on the notion of acceptable orderings. The technique is easily modified to give confluence of the βη-calculus.

Modular Church-Rosser Modulo

In [12], Toyama proved that the union of two confluent term-rewriting systems that share absolutely no function symbols or constants is likewise confluent, a property called modularity. The proof of this beautiful modularity result, technically based on slicing terms into an homogeneous cap and a so called alien, possibly heterogeneous substitution, was later substantially simplified in [5, 11]...

Edmund JY Pajarillo

This research explores two elements of the information behavior of homecare nurses, their commonly identified information drivers and frequently used information leads and conduits. Additionally, information behavior is examined in the context of the nurses’ help-

Edmund Beecher Wilson (1856-1939)

Edmund Beecher Wilson [4] contributed to cell biology, the study of cells, in the US during the end of the nineteenth and the beginning of the twentieth centuries. His three editions of The Cell in Development and Inheritance [5] (or Heredity [6]) in 1896, 1900, and 1925 introduced generations of students to cell biology. In The Cell, Wilson described the evidence and theories of his time about...